proof of all theorems of circles